While it seems to be evident that the vision of the eternal return of the same is the solution to the riddle mentioned in "On the vision and the riddle," exactly what constitutes the riddle is anything but clear. Li ke all good riddles the solution demands a paradigm shift. Nietzsche's riddle is solved by a radical rethinking of the concept of time, from a straight line to a circle. I give a detailed account of how Nietzsche's riddle is formulated (...) in such a way tha t the eternal return of the same is the only possible solution. (shrink)

In her provocative discussion of the challenge posed to the traditional impartialist, justice-focused conception of morality by the new-wave care perspective in ethics, Annette Baier calls for ‘a “marriage” of the old male and newly articulated female... moral wisdom,’ to produce a new ‘cooperative’ moral theory that ‘harmonize[s] justice and care.’ I want in this paper to play matchmaker, proposing one possible conjugal bonding: a union of two apparently dissimilar modes of what Nel Noddings calls ‘meeting the other morally,’ a (...) wedding of respect and care. (shrink)

Analytic philosophy has transgender trouble. In this paper, I explore potential explanations for this trouble, focusing on the notion of 'cisgender commonsense' and its place in philosophical methodology.

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

Epistemic contextualists think that the extension of the expression ‘knows’ depends on and varies with the context of utterance. In the last 15 years or so this view has faced intense criticism. This paper focuses on two sorts of objections. The first are what I call the ‘linguistic objections’, which purport to show that the best available linguistic evidence suggests that ‘knows’ is not context-sensitive. The second is what I call the ‘disagreement problem’, which concerns the behaviour of ‘knows’ in (...) disagreement reports. These may not be the only objections to epistemic contextualism, but they are probably the most influential. I argue that the best current epistemic contextualist response to the linguistic objection is incomplete, and I show how it can be supplemented to deal with the full range of linguistic objections. I also develop a new solution to the disagreement problem. The upshot is that neither sort of objection gives us any reason to reject epistemic contextualism. This conclusion is, in a sense, negative—no new arguments for epistemic contextualism are advanced—but it’s a vital step towards rehabilitating the view. (shrink)

Alex Byrne’s article, “Are Women Adult Human Females?”, asks a question that Byrne treats as nearly rhetorical. Byrne’s answer is, ‘clearly, yes’. Moreover, Byrne claims, 'woman' is a biological category that does not admit of any interpretation as (also) a social category. It is important to respond to Byrne’s argument, but mostly because it is paradigmatic of a wider phenomenon. The slogan “women are adult human females” is a political slogan championed by anti-trans activists, appearing on billboards, pamphlets, and anti-trans (...) online forums. In this paper, I respond to Byrne’s argument, revealing significant problems with its background assumptions, content, and methodology. (shrink)

There has been extensive discussion of testimonial epistemic injustice, the phenomenon whereby a speaker’s testimony is rejected due to prejudice regarding who they are. But people also have their testimony rejected or preempted due to prejudice regarding what they communicate. Here, the injustice is content focused. We describe several cases of content focused injustice, and we theoretically interrogate those cases by building up a general framework through which to understand them as a genuine form of epistemic injustice that stands in (...) intertwined relationships to other forms of epistemic injustice. (shrink)

What’s important about ‘coming out’? Why do we wear business suits or Star Trek pins? Part of the answer, we think, has to do with what we call agential identity. Social metaphysics has given us tools for understanding what it is to be socially positioned as a member of a particular group and what it means to self-identify with a group. But there is little exploration of the general relationship between self-identity and social position. We take up this exploration, developing (...) an account of agential identity—the self-identities we make available to others. Agential identities are the bridge between what we take ourselves to be and what others take us to be. Understanding agential identity not only fills an important gap in the literature, but also helps us explain politically important phenomena concerning discrimination, malicious identities, passing, and code-switching. These phenomena, we argue, cannot be understood solely in terms of self-identity or social position. (shrink)

Ordinary discourse is filled with discussions about ‘sexual orientation’. This discourse might suggest a common understanding of what sexual orientation is. But even a cursory search turns up vastly differing, conflicting, and sometimes ethically troubling characterizations of sexual orientation. The conceptual jumble surrounding sexual orientation suggests that the topic is overripe for philosophical exploration. This paper lays the groundwork for such an exploration. In it, I offer an account of sexual orientation – called ‘Bidimensional Dispositionalism’ – according to which sexual (...) orientation concerns what sex[es] and gender[s] of persons one is disposed to sexually engage, and makes no reference to one’s own sex and gender. (shrink)

In this peer commentary on Maura Priest's "Transgender Children and the Right to Transition: Medical Ethics When Parents Mean Well but Cause Harm", I argue against the "mismatch" model of trans identity. On this model, which is prevalent in institutional and medical contexts, to be trans is to have one's gender identity "mismatch" with one's sexed body.

How should your opinion change in light of an epistemic peer's? We show that the pooling rule known as "upco" is the unique answer satisfying some natural desiderata. If your revised opinion will impact your other views by Jeffrey conditionalization, then upco is the only standard pooling rule that ensures the order in which peers are consulted makes no difference. Popular alternatives like linear pooling, geometric pooling, and harmonic pooling cannot boast the same. In fact, no alternative can that possesses (...) four minimal properties these proposals all share. (shrink)

Nietzsche announces his intentions to publish a “physiology of aesthetics”, namely a naturalistic explanation for how aesthetic judgements are grounded in the physiology of both the one experiencing the work, and the creator of it. But as well as the physiological reduction of aesthetic judgements, Nietzsche in many places across his oeuvre frames the apparatus of physiology, especially the prescriptive dimension of self-cultivation, in terms amenable to being treated as ‘aesthetic’. The first section will mount a (re-) defense of the (...) use of aestheticized language for discussing Nietzschean self-cultivation. The second section demonstrates an aesthetic evaluation of capacities that make possible the acquisition and removal of instinctual components, ultimately arguing for Nietzsche’s qualified indeterminism regarding the capacity for self-cultivation. The third section will assess the pres- ence of another aesthetic measure, this time in terms of envisaging one’s psycho-physiology by reference to an external spectacle. The final section discusses metaethical questions stemming from Nietzsche’s prescriptive language regarding the aestheticization of our physiology. (shrink)

In a recent article in this journal, Mona Simion argues that Sally Haslanger’s “engineering” approach to gender concepts such as ‘woman’ faces an epistemic objection. The primary function of all concepts—gender concepts included—is to represent the world, but Haslanger’s engineering account of ‘woman’ fails to adequately represent the world because, by her own admission, it doesn’t include all women in the extension of the concept ‘woman.’ I argue that this objection fails because the primary function of gender concepts—and social kind (...) concepts in general—is not (merely) to represent the world, but rather to shape it. I finish by considering the consequences for “conceptual engineering” in philosophy more generally. While Haslanger’s account may escape Simion’s objection, other appeals to conceptual engineering might not fair so well. (shrink)

Interviewet er lavet i juli 2021. Dets formål er at belyse emner, der er centrale i Celikates’ tænkning, f.eks. den voksende højrefløjspopulisme, migration, voldelige versus ikke-voldelige protester, civil ulydighed og den kritiske filosofis rolle i dag. -/- When Celikates and I sat down digitally in July 2021, the interview’s primary purpose was to examine topics central to Celikates’ thinking, such as the rise of right-wing populism, migration, violent versus non-violent protest, civil disobedience, and the role of critical philosophy today.

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

Pragmatic encroachers argue that whether you know that p depends on a combination of pragmatic and epistemic factors. Most defenses of pragmatic encroachment focus on a particular pragmatic factor: how much is at stake for an individual. This raises a question: are there reasons for thinking that knowledge depends on other pragmatic factors that parallel the reasons for thinking that knowledge depends on the stakes? In this paper I argue that there are parallel reasons for thinking that knowledge depends on (...) social factors such as one’s social role or identity. I call this social encroachment. After defending social encroachment, I compare and contrast social encroachment with some key ideas in feminist epistemology. I argue that, while there are some important similarities, there are also some important differences. I finish by commenting on what I take the upshots of these differences to be. (shrink)

“Political epistemology” has recently emerged as an area of analytic epistemology. While it may not be an entirely new area, and its precise boundaries are up for negotiation, recent political events in the UK (e.g. Brexit) and the US (e.g. the election of Donald Trump) played a key role in its rise to prominence within contemporary analytic epistemology. Further, political epistemology is an inter-disciplinary field, drawing on relevant work in political science, political psychology, and science communication that is often equally (...) focused on the UK and US. Political epistemology is therefore parochial, though it is the kind of parochialism that is not always conscious of itself as parochial. In this talk I adopt a critical stance towards parochialism in political epistemology. But my aim is not just to point out the mistakes that can result from a parochial concern with political events in one’s own country. I suggest that we can view political epistemology as interested in certain fundamental problems and tensions, which political epistemologists may then seek to identify and address within the political context in which they are working. (shrink)

Pronouns often convey information about a person’s social identity (e.g., gender). Consequently, pronouns have become a focal point in academic and public debates about whether pronouns should be changed to be more inclusive, such as for people whose identities do not fit current pronoun conventions (e.g., gender non-binary individuals). Here, we make an empirical contribution to these debates by investigating which social identities lay speakers think that pronouns should encode and why. Across four studies, participants were asked to evaluate different (...) types of real and hypothetical pronouns, including binary gender pronouns, race pronouns, and identity-neutral pronouns. We sampled participants from two languages with different pronoun systems: English (N = 1,120) and Turkish (N = 260). English pronouns commonly denote binary gender (e.g., he for men), whereas Turkish pronouns are identity-neutral (e.g., o for anyone). Participants’ reasoning about pronouns reflected both a familiarity preference (i.e., participants preferred the pronoun type used in their language) and—critically—participants’ social ideologies. In both language contexts, participants’ ideological beliefs that social groups are inherently distinct (essentialism) and should be hierarchal (social dominance orientation) predicted relatively greater endorsement of binary gender pronouns and race pronouns. A preregistered experimental study with an English-speaking sample showed that the relationship between ideology and pronoun endorsement is causal: Ideologies shape attitudes toward pronouns. Together, the present research contributes to linguistic and psychological theories concerning how people reason about language and informs policy-relevant questions about whether and how to implement language changes for social purposes. (shrink)

The view that to act is to cause change and that to be an agent is to be the causer of an action’s result has gained traction in the past twenty years or so. This view seems to have two significant corollaries. First, there is no distinction between doing an action and causing its result. Second, any two actions that have the same result will turn out to be identical. Ruben (2018) has recently used the first corollary to challenge the (...) view, and the second corollary raises further problems for the view. This article aims to refine this view and defend it against the challenges that arise out of its two corollaries. It is argued that being the cause of an action’s result is not the same as being its causer and that doing an action is not just causing its result but causing it in a specific way. (shrink)

One of the moral questions concerning autonomous vehicles (henceforth AVs) is the choice between types that differ in their built-in algorithms for dealing with rare situations of unavoidable lethal collision. It does not appear to be possible to avoid questions about how these algorithms should be designed. We present the results of our study of moral preferences (N = 2769) with respect to three types of AVs: (1) selfish, which protects the lives of passenger(s) over any number of bystanders; (2) (...) altruistic, which minimizes the number of casualties, even if this leads to death of passenger(s); and (3) conservative, which abstains from interfering in such situations. We differentiate between scenarios in which participants are to make their decisions privately or publicly, and for themselves or for their offspring. We aim to answer two research questions: (1) whether the public visibility of the choice of an AV type choice make this choice more altruistic and (2) which type of situation makes it more difficult to choose altruistically: when choosing for society as a whole, when choosing only for oneself, or when choosing only for one’s offspring. Our results show that respondents exhibit a preference for an altruistic strategy for AVs and that it is reinforced when signaled to others. The altruistic preference is strongest when applies to everybody else, weaker when it reflects a solely personal choice, and weakest when choosing for one’s own child. We conclude that a public choice is considerably more likely to pressure consumers into accepting a more socially beneficial solution. (shrink)

Twice in the 2020 term, in Bostock and Comcast, the Supreme Court doubled down on the reasoning of “but-for causation” to interpret antidiscrimination statutes. According to this reasoning, an outcome is discriminatory because of some status—say, sex or race—just in case the outcome would not have occurred “but-for” the plaintiff’s status. We think this reasoning embeds profound conceptual errors that render the decisions deeply confused. Furthermore, those conceptual errors tend to limit the reach of antidiscrimination law. In this essay, we (...) first unpack the ambiguity of this but-for causal reasoning. We then show that this reasoning arises from a misapplication of tort law principles within antidiscrimination law, and that, as a result, it is both conceptually and normatively indeterminate. (shrink)

The idea that the concept ‘knowledge’ has a distinctive function or social role is increasingly influential within contemporary epistemology. Perhaps the best-known account of the function of ‘knowledge’ is that developed in Edward Craig’s Knowledge and the state of nature (1990, OUP), on which (roughly) ‘knowledge’ has the function of identifying good informants. Craig’s account of the function of ‘knowledge’ has been appealed to in support of a variety of views, and in this paper I’m concerned with the claim that (...) it supports a sort of epistemic contextualism, which is (roughly) the view that the semantic contents and truth-conditions of ‘knowledge’ ascriptions - instances of ‘S knows that p’- depend on and vary with the context of ascription (see, for instance, John Greco’s ‘What’s wrong with contextualism’, Philosophical Quarterly [2008]). Prima facie, this claim should strike us as surprising. A number of concepts and linguistic items (words, sentences) serve functions that have little or nothing to do with semantics. However, I argue that, on the best interpretation of talk of the function of a concept such as ‘knowledge’, the function of ‘knowledge’ is relevant to semantics. Along the way I also suggest how to improve on what I call the ‘usual argument’ that Craig’s account of the function of ‘knowledge’ supports epistemic contextualism. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should not, (...) play in the design of such experiments and in the evaluation of their results. (shrink)

Giving money to others feels good. It is now standard to use the label ‘warm glow feelings’ to refer to the pleasure people take from giving. But what exactly are warm glow feelings? And why do people experience them? To answer these questions, we ran two studies: a recall task in which participants were asked to remember a donation they made, and a donation task in which participants were given the opportunity to make a donation before reporting their affective states. (...) Correlational and experimental results converge towards the conclusion that, if the nature of the warm glow is straightforward, its source is multifaceted. Regarding the nature of the ‘warm glow’, the pleasure people took in giving was mainly predicted by one particular type of positive emotion and was indeed described by participants as ‘warm’. Regarding the underlying psychological mechanisms, warm glow feelings were elicited by positive appraisals regarding the donor’s moral character, positive appraisals regarding the actual impact of the donor’s donation on the welfare of others and a feeling of communion with others. We discuss the theoretical implications of our findings. (shrink)

Process reliabilism says that a belief is justified iff the belief-forming process that produced it is sufficiently reliable. But any token belief-forming process is an instance of a number of different belief-forming process types. The problem of specifying the relevant type is known as the ‘generality problem’ for process reliabilism. This paper proposes a broadly relativist solution to the generality problem. The thought is that the relevant belief-forming process type is relative to the context. While the basic idea behind the (...) solution is from Mark Heller (1995), the solution defended here departs from Heller on a crucial point. Because of this departure, my solution avoids a serious problem with Heller’s solution. (shrink)

Frege says, at the end of a discussion of formalism in the Foundations of Arithmetic, that his own foundational program “could be called formal” but is “completely different” from the view he has just criticized. This essay examines Frege’s relationship to Hermann Hankel, his main formalist interlocutor in the Foundations, in order to make sense of these claims. The investigation reveals a surprising result: Frege’s foundational program actually has quite a lot in common with Hankel’s. This undercuts Frege’s claim that (...) his own view is completely different from Hankel’s formalism, and motivates a closer examination of where the differences lie. On the interpretation offered here, Frege shares important parts of the formalist perspective, but differs in recognizing a kind of content for arithmetical terms which can only be made available via proof from prior postulates. (shrink)

Mona Simion’s Shifty Speech and Independent Thought argues for epistemic independence—the independence of good thinking from practical considerations. Along the way she argues against “shifty” views of knowledge and knowledge ascriptions, as well as against those who have tried to preserve the independence of knowledge from practical considerations by accepting shifty views of the epistemic normativity of assertion. In my discussion I start by highlighting some of Simion’s main claims and reconstructing her main lines of argument. I then raise some (...) minor concerns about her underlying methodology and some bigger picture concerns about her background theoretical assumptions and her argument for epistemic independence. (shrink)

Much of our information comes to us indirectly, in the form of conclusions others have drawn from evidence they gathered. When we hear these conclusions, how can we modify our own opinions so as to gain the benefit of their evidence? In this paper we study the method known as geometric pooling. We consider two arguments in its favour, raising several objections to one, and proposing an amendment to the other.

The discovery of a 1932 typewriter apparently signed by Heidegger raises questions about its authenticity and purpose, and prompts us to reconsider the validity of Heidegger’s portrayal of typewriters as devices that alienate writing from the hand and exemplify the modern oblivion of being.

In the consolidated cases Altitude Express v. Zarda, Bostock v. Clayton County, and R.G. & G.R. Harris Funeral Homes v. EEOC, the Supreme Court will decide whether or not Title VII prohibits discrimination on the basis of sexual orientation or gender identity. Although the parties disagree as to the appropriate formulation of a but-for test to determine whether or not there was a discriminatory outcome, all parties do agree to the use of such a test, which asks “whether the evidence (...) shows ‘treatment of a person in a manner which but for that person’s sex would be different.’” City of Los Angeles, Dep’t. of Water and Power v. Manhart, 435 U.S. 702, 711 (1978). However, but-for tests confuse more than they clarify the inquiry; a discriminatory outcome cannot be explained by appeal to just a discrete characteristic of a particular person. Individuals are not discriminated against because of these characteristics per se. Rather, they are discriminated against because of the social meanings and expectations that attach to these characteristics. Beyoncé and Taylor Swift illustrate the difference between individual-level causation and social explanation in two separate songs, “If I Were a Boy” and “The Man.” The explanation for why the counterfactual ‘male’ Beyoncé and Swift are evaluated differently than their current ‘female’ versions does not lie in individual-level features considered apart from the social world, but in social-level roles and expectations associated with those features. For this reason, a social explanation test—one that asks whether the social meanings of sex characteristics, rather than the characteristics per se, explain the outcome in question—is more suitable for determining whether or not Title VII has been violated. (shrink)

This article reviews and criticizes Joseph Heath’s market failures approach (MFA) to business ethics. Our criticism is organized into three sections. First, we argue that, even under the ideal assumptions of perfect competition, when markets generate Pareto-efficient distributions, Heath’s approach does not rule out significant harms. Second, we show that, under nonideal conditions, the MFA is either too demanding, if efficiency is to be attained, or not sufficiently demanding, if the goal of Pareto efficiency is abandoned. Finally, we argue that (...) Heath’s appeal to regulations and specific moral requirements as a remedy for market failures is unlikely to safeguard efficiency and exposes a number of general worries regarding the moral force of the MFA. We end this article with a constructive suggestion on how to adjust the MFA to avoid these problems while preserving its contractualist and Paretian spirit. (shrink)

In this paper I develop a version of contextualism that I call interests contextualism. Interests contextualism is the view that the truth-conditions of knowledge ascribing and denying sentences are partly determined by the ascriber’s interests and purposes. It therefore stands in opposition to the usual view on which the truth-conditions are partly determined by the ascriber’s conversational context. I give an argument against one particular implementation of the usual view, differentiate interests contextualism from other prominent versions of contextualism and argue (...) that, unlike those versions, interests contextualism can mitigate against the epistemic descent objection put forward by Duncan Pritchard in his ‘Contextualism, Scepticism, and the Problem of Epistemic Descent’ (the objection is that, on the contextualist view, an ascriber of knowledge cannot, for some subject S and proposition p, properly ascribe knowledge that p to S if that ascriber has previously retracted an earlier ascription of knowledge that p to S). (shrink)

In this critical review I explore the anti-intentionalist stance Adorno offers in his aesthetics, specifically focusing on his Notes to Literature, and the internal limits to this stance. Adorno rejects the primacy of authorial intentionalism: The presuppositions of its aesthetic methodology, he claims, place the individual in a position of epistemic priority, without exploring the social totalities which constitute the conditions of the presentation of aesthetic knowledge by any such individual. The role of the creator for Adorno is inherently mediated (...) within the context of such totalities. -/- This is not to wholly discount the role of creative intentions, however. Rather, Adorno frames the artist as a ‘bearer’ and a ‘representative of the total social subject’. In this context he allows for a qualified form of subjectivity, construed as a mode of creativity produced by a particular kind of “achieved self-awareness” or disposition of consciousness towards an “estrangement of meaning”. Indeed, the loss of the stronger presupposition that the subject acts as an authentic expository force can lead to a realization that objectivity by this means constitutes a “loss”, Adorno claims, which creates the possibility for pursuing a critical stance to facilitate the capacity for creating autonomous works of art. Creators of autonomous works acknowledge “the paradoxical relationship of the autonomous work to its commodity character” (‘Valery’s Deviations’), namely an awareness of their inherent reification. The self-alienating yet autonomous work is described by Adorno as possessing and demonstrating tacit yet genuine ‘wants’, but this is framed by the demands of the human condition to recognize how ill-fitting the forces of social production are upon and towards securing them. Aesthetic intentions and the subjects which channel them can be critically valuable if they allude to or exposit the contradictions between these demands and those forces. (shrink)

In this brief essay, I argue that Anselm's ontological argument for the existence of God achieves its effect through the verbal equivalent of a magician's "sleight-of-hand." More technically, the argument commits the informal fallacy of equivocation. I provide a brief analysis of the argument's text to demonstrate this.

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

to appear in Lambert, E. and J. Schwenkler (eds.) Transformative Experience (OUP) -/- L. A. Paul (2014, 2015) argues that the possibility of epistemically transformative experiences poses serious and novel problems for the orthodox theory of rational choice, namely, expected utility theory — I call her argument the Utility Ignorance Objection. In a pair of earlier papers, I responded to Paul’s challenge (Pettigrew 2015, 2016), and a number of other philosophers have responded in similar ways (Dougherty, et al. 2015, Harman (...) 2015) — I call our argument the Fine-Graining Response. Paul has her own reply to this response, which we might call the Authenticity Reply. But Sarah Moss has recently offered an alternative reply to the Fine-Graining Response on Paul’s behalf (Moss 2017) — we’ll call it the No Knowledge Reply. This appeals to the knowledge norm of action, together with Moss’ novel and intriguing account of probabilistic knowledge. In this paper, I consider Moss’ reply and argue that it fails. I argue first that it fails as a reply made on Paul’s behalf, since it forces us to abandon many of the features of Paul’s challenge that make it distinctive and with which Paul herself is particularly concerned. Then I argue that it fails as a reply independent of its fidelity to Paul’s intentions. (shrink)

This paper focuses on Martin Montminy’s recent attempt to show that assertion and practical reasoning are necessarily governed by the same epistemic norm (“Why assertion and practical reasoning must be governed by the same epistemic norm”, Pacific Philosophical Quarterly [2013]). I show that the attempt fails. I finish by considering the upshot for the recent debate concerning the connection between the epistemic norms of assertion and practical reasoning.

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...) Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

There are two opposing views concerning intuitive cases of wage exploitation. The first denies that they are cases of exploitation at all. It is based on the nonworseness claim: there is nothing wrong with a discretionary mutually beneficial employment relationship. The second is the reasonable view: some employment relationships can be exploitative even if employers have no duty towards their employees. This article argues that the reasonable view does not completely defeat defences of wage exploitation, because these do not rely (...) solely on the nonworseness claim. They also rely on the idea, popularised by Alan Wertheimer, that exploitation is a form of disequilibrium price occurring in defective markets. The article then proceeds to criticise Wertheimer’s account through neoclassical, new institutional, and Austrian economics. It concludes that considerations for economic efficiency are irrelevant to assessing intuitions regarding exploitation. (shrink)

One goal of this paper is to argue that autobiographical memories are extended and distributed across embodied brains and environmental resources. This is important because such distributed memories play a constitutive role in our narrative identity. So, some of the building blocks of our narrative identity are not brain-bound but extended and distributed. Recognising the distributed nature of memory and narrative identity, invites us to find treatments and strategies focusing on the environment in which dementia patients are situated. A second (...) goal of this paper is to suggest various of such strategies, including lifelogging technologies such as SenseCams, life story books, multimedia biographies, memory boxes, ambient intelligence systems, and virtual reality applications. Such technologies allow dementia patients to remember their personal past in a way that wouldn’t be possible by merely relying on their biological memory, in that way aiding in preserving their narrative identity and positively contributing to their sense of well-being. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

In 1990 Edward Craig published a book called Knowledge and the State of Nature in which he introduced and defended a genealogical approach to epistemology. In recent years Craig’s book has attracted a lot of attention, and his distinctive approach has been put to a wide range of uses including anti-realist metaepistemology, contextualism, relativism, anti-luck virtue epistemology, epistemic injustice, value of knowledge, pragmatism and virtue epistemology. While the number of objections to Craig’s approach has accumulated, there has been no sustained (...) attempt to develop answers to these objections. In this paper we provide answers to seven important objections in the literature. (shrink)

C. Stephen Layman contends that an argument supporting theism over naturalism can be constructed based on three defensible, non–question-begging premises about the moral order. Previous critics of Layman’s argument have challenged the truth of these premises. We stipulate them arguendo but go on to show that there is a deeper problem: a fourth premise introduced to complete the argument—the “completion premise,” as we call it—is true only if we assume that God exists or we concede that there is no afterlife. (...) We close with suggestions for how Layman’s argument must be strengthened to meet with dialectical success. (shrink)